Control panel will query this cap to decide whether legible to create
VTI domain on an ia64 box.
Signed-off-by Kevin Tian <kevin.tian@intel.com>
#include <asm/page.h>
#include <asm/setup.h>
#include <xen/string.h>
+#include <asm/vmx.h>
unsigned long xenheap_phys_end;
{
char *p=info;
- *p=0;
+ p += sprintf(p,"xen-%d.%d-ia64 ", XEN_VERSION, XEN_SUBVERSION);
- p+=sprintf(p,"xen_%d.%d_ia64 ",XEN_VERSION,XEN_SUBVERSION);
+ if (vmx_enabled)
+ p += sprintf(p,"hvm-%d.%d-ia64 ", XEN_VERSION, XEN_SUBVERSION);
*(p-1) = 0;